TSTP Solution File: ALG256^2 by Nitpick---2016